(check (= (+ 7u32 (- 7u32)) 0u32))
